1. An introduction to logic programming through Prolog /
Author: Michael Spivey
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming,Prolog (Computer program language),installation PROLOG,interpréteur PROLOG,programmation en logique,PROLOG,Sémantique
Classification :
QA76
.
63
.
S64
1996
2. Attention and performance XV :
Author: edited by Carlo Umiltà and Morris Moscovitch
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cognition, Congresses,Consciousness, Congresses,Human information processing, Congresses,Consciousness-- physiology, Congresses,Mental Processes, Congresses,Unconscious (Psychology), Congresses
Classification :
BF321
.
I57
1992
3. Catalysis.
Author: editors, James J. Spivey, Yi-Fan Han, K. M. Dooley ; authors, Adeyiga Adeyinka [and thirty others].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Catalysis, Periodicals.
4. Catalysis
Author: / [electronic resource]
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject:
Classification :
QD
,
505
5. Catalysis
Author:
Library: Central Library and Document Center of Arak University (Markazi)
Subject: Catalysis
Classification :
541
.
395
C357
6. Catalysis.
Author: edited by J.J. Spivey and K.M. Dooley.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Catalysis.,Chemistry, Physical and theoretical.
7. Catalysis
Author: editors, J.J. Spivey, K.M. Dooley ; authors, David A. Berry ... [et al.].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Catalysis.
8. Catalysis
Author: James J. Spivey, Yi-Fan Han, K. M. Dooley, editors ; authors Jun Bao ... [et al.].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Catalysis.
9. Catalysis.
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: CATALYSIS. ;
10. Catalysis.
Author: edited by J.J. Spivey and Kerry M. Dooley.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Catalysis, Periodicals.,Catalysis.,REFERENCE-- Yearbooks & Annuals.,SCIENCE-- Chemistry-- Industrial & Technical.
Classification :
QD505
.
C38
v
.
22
11. Catalysis. Volume 21
Author: / James J Spivey, Kerry M Dooley
Library: Campus International Library of Kish University of Tehran (Hormozgan)
Subject: Catalysis,SCIENCE -- Chemistry -- Physical & Theoretical.,Clinical Medicine
12. Catalysis. Volume 27 :
Author: editors James J. Spivey, Yi-Fan Han, K. Dooley.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Catalysis.,Catalysts.
13. Red cell transfusion :
Author: edited by Marion E. Reid and Sandra J. Nance.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Erythrocyte Transfusion.,Erythrocytes -- Transfusion.,Erytrocyten.
14. Reduction of nitrogen oxide emissions :
Author: Umit S. Ozkan, editor, Sanjay K. Agarwal, editor, George Marcelin, editor.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Air quality management, Congresses.,Nitrogen oxides-- Environmental aspects, Congresses.
Classification :
TD885
.
5
.
N5
R43
1995
15. Ritual, finance, politics :
Author: edited by Robin Osborne and Simon Hornblower.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Lewis, David M., (David Malcolm),Lewis, David,(1928-1994),Civilization.,Démocratie-- Grèce-- Athènes (Grèce),Democratie.,Demokratie,Finances-- Grèce-- Athènes (Grèce)-- Antiquité-- Congrès.,Finanzverwaltung,Griekse oudheid.,Kongress,Politik,Religion,Ritual,Sozialgeschichte,Athens (Greece), Civilization, Congresses.,Greece, History, To 146 B.C., Congresses.,Athènes (Grèce), Civilisation, Congrès.,Grèce, Histoire, Jusqu'à 146 av. J.-C., Congrès.,Athen,Athen.,Athènes (Grèce), Politique et gouvernement, Antiquité, Congrès.,Athens (Greece), Civilization.,Grèce, Jusqu'à 146 av. J.-C.,Greece, Athens.,Greece, History.,Greece., 0, 0, 6, 6, 7, 7, 7, 7, 7, 7, 7, 7
Classification :
DF277
.
R57
1994
16. <The> Z Notation: A reference manual
Author: J. M. Spivey
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Z (Computer program language)
Classification :
QA
،
76
.
73
،.
Z2
,
S66
،
1989
17. The Z notation :
Author: J.M. Spivey ; based on the work of J.R. Abrial [and others].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Z (Computer program language),Z,Z (Computer program language)
Classification :
QA76
.
73
.
Z2
S66
1992
18. The Z notation
Author: / j. M. Spivey,Spivey
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Z (Computer Program language)
Classification :
QA
76
.
73
.
Z2S66
1989
19. The Z notation
Author: / J. M. Spivey
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Z (Computer program language)
Classification :
QA
76
.
73
.
Z2S66
1992
20. The Z notation : a reference manual
Author: Spivey, J M
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Z )Computer program language(
Classification :
QA
76
.
73
.
Z2
S66
1992
